Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
841	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
842	V63.0121: Calculus I Matthew Leingang and the Mathematics Department February 02, 2010 Term: Spring 2010 Add to Reading List Source URL: www.math.nyu.edu Language: English - Date: 2010-03-09 09:47:20 Mathematics Advanced Placement Calculus Calculus Homework Lambda calculus Education Mathematics education Learning
843	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:38 Theoretical computer science Models of computation Symbol First-order logic Physical quantity KeY Lambda calculus Dynamical system Constructible universe Logic Mathematical logic Model theory
844	PDF Document Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-11-06 21:49:53 Lisp programming language Functional languages Lisp Funarg problem Procedural programming languages Closure Lambda calculus Scope Eval Software engineering Computing Computer programming
845	Constraining Delimited Control with Contracts? Asumu Takikawa1 , T. Stephen Strickland2 , and Sam Tobin-Hochstadt1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Data types Type theory Racket Lambda calculus Delimited continuation Type system String Ada Software engineering Computing Computer programming
846	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
847	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-10-18 14:51:20 Type theory Data types Lambda calculus Procedural programming languages C++ Type safety Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
848	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
849	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
850	On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics Add to Reading List Source URL: research-repository.st-andrews.ac.uk Language: English - Date: 2015-02-02 11:56:50 Mathematics Philosophical logic Modal logic Non-classical logic Sequent Kripke semantics Lambda calculus Natural deduction Logic Mathematical logic Proof theory

UPDATE